* doc/misc/wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref.
authorGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:52:12 +0000 (18:52 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 4 Jul 2013 01:52:12 +0000 (18:52 -0700)
commit2d340e5dc19a28887fe84485edba4823febace44
treeae62b8b1080a3f43bcae36cb51dedf861660f772
parentc5f98d9c3fc41ac455bf421ad2468aa8ef9d7511
* doc/misc/wisent.texi (Wisent Overview): Remove incorrect, unnecessary uref.
We can use an htaccess redirect to make the previous xref work.
doc/misc/ChangeLog
doc/misc/wisent.texi